valid and invalid arguments discrete mathematics